#ifndef __PUSH_H__
#define __PUSH_H__
 
make_helper(push_si_b);
 
make_helper(push_r_v);
make_helper(push_rm_v);
 
#endif